Model predictive controller

ABSTRACT

A model predictive controller for a process control system which includes a real-time executive sequencer and an interactive modeler. The interactive modeler includes both a process model and an independent disturbance model. The process model represents the dynamic behavior of the physical process, while the disturbance model represents current and future deviations from the process model. The interactive modeler estimates current process states from the process model and input data received from the executive sequencer. The executive sequencer then projects a set of future process parameter values, which are sought to be controlled, over a predetermined control horizon. The interactive modeler then solves a set of equations as to how the physical process will react to control changes in order to determine an optimized set of control changes. As a result, the process control system will be able to accurately track a predetermined set-point profile in the most effective and cost efficient manner.

BACKGROUND OF THE INVENTION

The present invention generally relates to process control methodologies, and particularly to a process control method and system which seeks to optimize real-time control by using a model and a variable prediction mechanism to anticipate and respond to future process events.

In order to achieve maximum economic efficiency and optimum product quality, the demands for more comprehensive process control automation have continued to increase in both quantity and sophistication. In this regard, substantial advances have been made in terms of the ability to rapidly acquire input data from a multitude of sensors and generate highly reliable output commands for controlling a physical process. However, most process control methodologies have traditionally relied on the use of feedback signals to steer one or more proportional-integral-derivative ("PID") algorithms, as a way to achieve a desired set-point. While this approach to process control has been unquestionably effective, it is primarily reactive in nature. Accordingly, the use of feedback-based control may lead to a sluggish overall system response and/or cause an adjustment to be made that would be larger than would otherwise be desirable.

A chemical batch reactor provides one example of a process control challenge where feedback-based control may not consistently achieve an optimum result. In this regard, batch reactor control will typically involve moving set-points, process delays, large inertia, non-linearities, unmeasured disturbances and multiple control efforts. Accordingly, information from the sensors as to the current state of the batch reactor process is important in terms of achieving the existing set-point, but this information may not be sufficient, by itself, to achieve a subsequent set-point without encountering an unwanted delay in the change of a process parameter, such as temperature or pressure. While a dynamic lag in a process parameter may be overcome by bringing about a significant change in a manipulated parameter (e.g., a heating element), it is generally considered less desirable to force large changes on a process control system.

Additionally, one of the key goals of any batch reactor control process is the ability to minimize product variability from one batch to another. For example, when molecular distribution is used as a grading factor in the production of a polymer, the consistent achievement of a particular molecular distribution profile may well have substantial economic implications on the investment in the production equipment. Accordingly, a continuing need exists to develop process control methodologies which are capable of minimizing product variability in batch reactor processes, as well as other varying process control applications.

Accordingly, it is a principal objective of the present invention to provide a method and system of process control which seeks to optimize the control methodology by anticipating future process events or states and selecting the most beneficial set of control changes.

It is a more specific objective of the present invention to provide a method and system of process control which utilizes a model of the process and an variable prediction mechanism to anticipate and respond to events that will occur during a reaction.

It is another objective of the present invention to provide a model predictive controller which not only seeks to minimize product variability, but also seeks to achieve a more ecomonical and efficient production process.

It is a further objective of the present invention to provide a model predictive controller which runs in real-time, and has the capability to predict and control existing process conditions which are not otherwise measured by the process control equipment.

It is yet another objective of the present invention to provide a model predictive controller which is capable of predicting future deviations from the model on the basis of a trajectory of past and current deviations or errors, as well as modifying set-point profiles on the basis of past disturbances.

It is an additional objective of the present invention to provide a model predictive controller which facilitates a systematic transfer of process knowledge gained through plant experience or research.

It is still another objective of the present invention to provide a model predictive controller which will shift the emphasis of control from measured process quantities to the monitoring and control of the unmeasured process quantities that will have a direct effect on product properties.

SUMMARY OF THE INVENTION

To achieve the foregoing objectives, the present invention provides a model predictive controller for a process control system which includes an interactive modeler and a real-time executive sequencer. The interactive modeler includes both a process model and an independent disturbance model which includes a variable disturbance prediction mechanism. The process model represents the dynamic behavior of the physical process, while the disturbance model represents current deviations and potential future deviations from the process model. The executive sequencer periodically transmits time recorded input data to the interactive modeler, which in turn generates an estimation of current process states using the process and disturbance models. The executive sequencer is also used to project a desired set of future "controlled" parameter values over a predetermined prediction horizon. The interactive modeler then solves a set of equations to determine how the process will react to proposed changes in one or more manipulated parameter values, and ultimately determines an optimized set of manipulated parameter values. This set of manipulated parameter values will be transmitted to the executive sequencer in order to enable the process control system to accurately track a desired set of controlled parameter values (e.g., set-points).

In one embodiment according to the present invention, the process control system includes a separate processor for making independent process control decisions, and the model predictive controller includes an interface for providing communication between the decision making processor and the executive sequencer. In this way, the decision making processor will be able to test manipulated parameter values, which are relayed from the executive sequencer, for validity and/or reasonableness. The executive sequencer will also test these manipulated parameter values for validity and/or reasonableness before transmitting them to the decision making processor. Similarly, the executive sequencer will preferably test the input data obtained from the decision making processor for validity and/or reasonableness. The executive sequencer also includes a real-time database which contains data derived from the input sensors and a list of set-point corners for projecting future set-points.

The interactive modeler may be used to build both the process and disturbance models off-line, as well as respond to the executive sequencer on a real-time basis. In this regard, the executive sequencer may require that the interactive modeler provide an estimation of current process states at intervals which are more frequent that the intervals used to determine an optimized set of manipulated parameter values. As a result of this unique cooperation between the decision making processor, the executive sequencer and the interactive modeler, the process control system will be able to accurately track a predetermined set-point profile in the most effective, reliable and cost efficient manner.

Additional features and advantages of the present invention will become more fully apparent from a reading of the detailed description of the preferred embodiment and the accompanying drawings in which:

BRIEF DESCRIPTION OF THE DRAWINGS

FIG. 1 is a block diagram of a process control system which includes a model predictive controller in accordance with the present invention.

FIGS. 2A, 2B and 2C provide a diagrammatic illustration of the general sequence of steps taken by the model predictive controller in accordance with the present invention.

FIG. 3 is a simplified block diagram of how the process and disturbance models are employed in the model predictive controller to determine process predictions.

FIG. 4 is a graphical representation of how the model predictive controller may be used to minimize product variability.

FIG. 5 is an overall block diagram of an advanced process control scheme in accordance with the present invention.

FIG. 6 is a graphical illustration of the method of control optimization in accordance with the present invention.

FIG. 7 is a block diagram of the state estimation process.

FIG. 8 is an overall block diagram of one embodiment of a model predictive controller software system in accordance with the present invention.

FIG. 9 is a block diagram of the SimuSolv block shown in FIG. 8.

FIG. 10 provides a flow chart of the process control specifications module shown in FIG. 9.

FIGS. 11A, 11B, 11C, 11D, 11E, 11F, 11G, 11H, 11I, 11J, 11K, 11L, and 11M provide a set of transformation graphs which illustrates the flow of data through the executive sequencer of the model predictive controller.

FIGS. 12A, 12B, 12C, 12D, 12E, 12F, 12G and 12H provide a set of state transition diagrams which illustrates the sequencing implemented by the executive sequencer.

FIGS. 13A-13B provide two examples of the data structures employed in the real-time data base of the executive sequencer.

DETAILED DESCRIPTION OF THE PREFERRED EMBODIMENTS

Referring to FIG. 1, a block diagram of a process control system 10 is shown, which features a model predictive controller according to the present invention. More specifically, the process control system 10 is shown in connection with a simplified representation of a suspension batch reactor 12 to illustrate the principles of the present invention. While the suspension batch reactor 12 will be described in connection with the production of a copolymer, such as SARAN (a Dow Chemical Company trademark) for a copolymer derived from vinyl chloride and vinylidene chloride, it should be understood that this particular embodiment is only intended to be exemplary of a wide variety of process control applications for the present invention.

As shown in FIG. 1, the suspension batch reactor 12 includes a reactor vessel 14. The reactor vessel 14 contains a quantity of a suitable suspension fluid 16, such as water. In order to facilitate the desired reaction process, the suspension fluid 16 will also generally contain a surface active agent, a monomer-soluble initiator and one or more reactivity-modifying additives. In a batch reactor of this type, the appropriate monomers may be added to the reactor vessel 14 under separate control mechanisms, so that the concentrations of these monomers may be individually controlled. However, in order to simplify the batch reactor arrangement of FIG. 1, the mechanisms used to introduce the recipe ingredients into the reactor vessel 14 are not shown. However, FIG. 1 does show an agitator 18 which is used to stir the ingredients and assist the formation of the copolymer through its shearing action. An external heat exchange jacket 20 is also provided to adjust the temperature of the polymerization reaction.

In order to control the growth of the coploymer molecules in the reactor vessel 14, various sensors will be provided to measure physical process parameters, such as temperature and flow rate. In this regard, the batch reactor 12 includes a sensor 22 to detect the bulk temperature of the fluid in the reactor vessel 14, a sensor 24 to detect the recirculation flow rate through the reactor jacket 20, and sensor 26 to detect the inlet temperature of the reactor jacket, and a sensor 28 to detect the outlet temperature of the reactor jacket. The signals from these sensors are transmitted to one or more input circuits 30. The input circuits 30 will perform any necessary filtering, averaging and/or conversion to a digital representation of the phenomena being sensed. Then, these digital input signals will be transmitted to a process control computer 32, which will make process control decisions, based at least in part upon the magnitude of the digital input signals.

In the context of classical process control methodologies, the process control computer 32 would employ one or more PID algorithms in order to maintain desired set-points for specific controlled parameters, such as temperature, pressure and monomer delivery rates. Each of these PID algorithms will attempt to follow a set-point profile, which may be a function of various "measured" parameter values. Once these control decisions are made, the process control computer 32 will transmit the appropriate command signals to one or more output circuits 34. The output circuits will perform any needed signal conversion (e.g., digital to analog), and the output circuits may also contain slave controllers for achieving the set-points commanded by the process control computer 32. Then, these processed output signals will be transmitted to control devices, such as pumps, valves, relays and motors. For example, if the process control computer 32 determines that the temperature within the reactor vessel 14 needs to be increased, then an appropriate command signal will be transmitted to the output circuit 34. This command signal may take the form of a set-point to be achieved, if the output circuit 34 is equipped with a slave controller. Otherwise, this command signal may be a signal which directly manipulates a physical device, such as an electronically actuated valve.

A further description of a process control system of the type set forth above may be found in U.S. patent application Ser. No. 07/864,931, filed on Mar. 31, 1992, entitled "Process Control Interface System Having Triply Redundant Remote Field Units", by Glaser et al ,; U.S. patent application Ser. No. 07/898,923, filed on Jun. 12, 1992, entitled "Secure Front End Communication System And Method For Process Control Computers", by de Bruijn et. al.; U.S. patent application Ser. No. 07/925,089, filed on Aug. 4, 1992, entitled "Method Of Input Signal Resolution For Actively Redundant Process Control Computers", by Baca et. al. Each of these commonly assigned patent applications are hereby incorporated by reference. As will appreciated from a review of these patent applications, the process control computer 32 may be comprised of at least two actively redundant process control computers. Additionally, the input circuits 30 and the output circuits 34 may be contained in a triply redundant field computer unit that is capable of being remotely located from the actively redundant process control computers. Similarly, a front end communication system may also be provided for enabling the transmission of real-time data from the actively redundant process control computers to an operator station which resides on a local area network. In this regard, the front end communication system may employ one or more front end computers as an intelligent interface between the process control computers and the computer network. These front end computers may have the capability of evaluating messages from the advanced control stations that contain a request for data or an instruction for the actively redundant process control computers to modify programmable parameters.

In terms of output control devices for the batch reactor 12 of FIG. 1, the reactor jacket 20 is provided with a pump 36 which recirculates water through the reactor jacket, a valve 38 for injecting steam into the recirculation loop 40, and a valve 42 for alternately injecting cold water into this recirculation loop. The entire batch of reactant, initator, and solvent will generally be loaded into the reactor vessel 14 at room temperature (e.g., 20° C.). Accordingly, the reactor jacket heat transfer fluid (i.e., water) will be heated, using low pressure steam, to increase the temperature of the reactor contents until the initiator becomes active. Once the reaction begins, the exothermic nature of the free radical polymerization requires heat to be removed to maintain an appropriate temperature profile within the reactor vessel 14. When the reactor vessel 14 is fully loaded, it will generally have a significant heat capacity, thereby requiring very large heat fluxes to cause a measurable change in the reactor temperature. Additionally, since ambient temperature cooling water is used to cool the reactor, the driving force for heat removal is relatively limited. These physical constraints will cause a generally slow response to process changes, which could lead to sluggish control using a PID approach to process control.

However, in accordance with the present invention, the process control system 10 is equipped with a model predictive controller 44 which enables the process control system 10 to anticipate and respond to future process events. The model predictive controller 44 generally includes an executive sequencer 46 and an interactive modeler 48. The executive sequencer 46 is adapted to receive a set or image of real-time process data from the process control computer 32, which has been time-stamped by the process control computer. This process data is referenced to and stored in a real-time data base 50 by the executive sequencer 38. The executive sequencer 46 then transmits some or all of this real-time data to the interactive modeler 48 at predetermined intervals.

The interactive modeler 40 includes both a process model 52 and an independent disturbance model 54. The process model 52 represents the dynamic behavior of the physical process, while the disturbance model 54 represents current as well as potential future deviations from the process model. In this regard, the executive sequencer 46 uses the interactive modeler 48 to determine an optimal estimation of the current state of the process and the current disturbances acting on the process. The current state of the process is generally represented by one or more derived or "unmeasured" parameter values, such as the percentage of monomer which has been converted to the SARAN copolymer. The executive sequencer 46 may then forward these unmeasured parameter values to the process control computer 32 for use in its control program. As will be more fully explained below, the process control computer 32 will continue to make process control decisions which are independent of those made by the model predictive controller 44. These process control decisions may be used in lieu of those provided by the model predictive controller 44 under the appropriate circumstances.

At given process intervals, the model predictive controller 44 will be used to determine a set of optimized manipulated parameter values over a predetermined prediction horizon. These manipulated parameter values may take the form of a setting for a directly controlable parameter, such as the temperature of the reactor jacket 20 or the flow rate produced by the pump 36. In order to generate this set of optimized manipulated parameter values, the executive sequencer 46 will project a set of desired controlled parameter values over a predetermined control horizon. These controlled parameter values may take the form of a set-point for an indirectly controlled parameter, such as the temperature within the reactor vessel 14. In other words, this set of controlled parameter values will provide a particular set-point profile that the process control system 10 should seek to track and match.

The executive sequencer 46 will then forward this set of controlled parameter values to the interactive modeler 48. The interactive modeler 48 will in turn solve a series of equations based upon first principles to determined how the physical process will react to various alternative control changes. The goal of this procedure is not only to decide the next set of control changes, but to do an optimization to find the best set of control changes. As a result, the interactive modeler 48 will transmit an optimal set of control changes (i.e., manipulated parameter values) over the prediction horizon to the executive sequencer 46. These future control moves are selected to minimize future set-point deviations given certain physical or programmed contraints.

The executive sequencer 46 will preferably test all of the manipulated parameter values for validity and/or reasonableness, and transmit the current set of accepted manipulated parameter values to the process control computer 32. In this context, the "current" set of manipulated parameter values represents the next set of manipulated parameter values to potentially be implemented by the process control computer 32. In one form of the present invention, the process control computer 32 will also test the manipulated parameter values received from the executive sequencer 46 for validity and/or reasonableness, and then implement accepted manipulated parameter values. In the event that the control changes are not accepted, or there has been an interuption in communication between the process control computer 32 and the executive sequencer 46, then the process control computer 32 will use its own PID algorithms to control the physical process. In any event, the process control computer 32 may continue to be used for sequencing process steps, performing digital output calculations and deciding when alarms should be raised. Thus, it should be appreciated that the process control computer 32, the executive sequencer 46 and the interactive modeler 48 will perform those tasks for which they are best suited. It should also be appreciated that this particular division of responsibility will also enable simulations to be conducted off-line in order to pretune the real-time performance of the model predictive controller 44. Additionally, the integration of these system components will enable a process currently running in the plant to remain operational through the action of the process control computer 32, while the model predictive controller 46 is briefly taken off-line for fine tuning.

While the process control computer 32, the executive sequencer 46 and the interactive modeler 48 have been described thus far as separate entities, it should be appreciated that one or more of these entities may be combined in the appropriate application. Thus, for example, the executive sequencer 46 and the interactive modeler 46 may reside in the same computer unit, such as a computer which is connected to the front-end local area network (e.g., a micro-VAX 4000 from DEC). However, it should be appreciated that the provision of a process control computer 32 which is logically separable from the model predictive controller 44 enable each of these entities employ different and distinct process control methodologies. As a result, the methodology of the process control computer 32 will provide a parallel process back-up to the model predictive controller 44, and each of these entities will be able to check the information being passed to each other for validity or reasonableness. In this regard, it is preferred that the executive sequencer test the real-time data received from the process control computer 32 for validity or reasonableness.

Additionally, it should be noted that the batch reactor 12 of Figure provides an example of single-input single-output ("SISO") control. In other words, the control objective is to maintain a pre-specified reactor temperature profile by manipulating the temperature set-point of the reactor jacket 20. However, it should be understood that the principles of the present invention are equally application to multiple-input multiple-output ("MIMO") control methodologies.

Referring to FIGS. 2A-2C, a diagrammatic illustration of the general sequence of steps taken by the model predictive controller 44 in accordance with the present invention is shown. In this regard, FIG. 2A illustrates the step of state estimation 56, FIG. 2B illustrates the step of set-point projection 58, and FIG. 2C illustrates the step of control optimization 60. In order to provide an estimate of one or more process states (e.g., an unmeasured parameter value), certain existing process information is necessary. In the context of the batch reactor 12, FIG. 2A shows a curve 62 which represents a plot of the temperature within the reactor vessel 14 up to the present time line 63 (i.e., the point at which the last measurement was taken). FIG. 2A also shows a curve 64 which plots the temperature set-point for the reactor jacket 20. This temperature set-point represents the controlled parameter value in this example. With this information, the interactive modeler 48 will determine one or more process states, such as the monomer conversion percentage, the heat of reaction, and a temperature which may be otherwise unmeasured. Additionally, the interactive modeler 48 will also determine the magnitude of the error between the process model 52 and the estimated process state.

Then, as illustrated in FIG. 2B, the executive sequencer 46 will compute the desired future values for the relavent controlled parameters. In terms of the batch reactor 14, the temperature within the reactor vessel 14 will be the controlled parameter of interest, and FIG. 2B also shows a curve 66 which plots this temperature value. The plot of curve 66 also shows a set-point corner 68, which indicates that the reactor temperature should change to a new value at this projected point in time. In this regard, it should be noted that the executive sequencer 46 could employ a look-up table to store the set-point corners for the batch reaction, or use an algorithm which will produce these set-point corners as a function of time. Such an algorithm could provide a fixed set of set-point corners for each batch. Alternatively, it may also be possible for the executive sequencer 48 to be constructed so that this set-point corners will be determined as a function of any disturbance that may have occurred during the reaction process. Additionally, it should be understood that the projection of future set-point corners could be generated by other suitable entities of the process control system 10 in the appropriate application.

With the knowledge of future set-point values for the reaction, the interactive modeler 48 will then proceed to the step of control optimization 60. In this regard, the interactive modeler 48 will determine both a present and future set of manipulated parameter values which will seek to minimize any differences in the magnitude between the projection set-point values and the corresponding controlled parameter values. In the context of the batch reactor 12, the interactive modeler will seek to track and match the future set-points of the reactor temperature with the measured reactor temperature values. Accordlingly, FIG. 2C illustrates a curve 70 which plots the present and future temperature set-points for the reactor jacket 20. The "present" temperature set-point in this context means the next temperature set-point which will be implemented by the process control computer 32, assuming that it is validated by both the executive sequencer 46 and the process control computer.

Referring to FIG. 3, a simplified block diagram is shown of how the process and disturbance models are employed in the model predictive controller 44 to determine process predictions. It should first be noted that model-based process control will only achieve its highest objectives if provisions are made for errors in the process model 52. The model predictive controller 44 addresses this concern in two ways. First, integration of the process model 52 through time is adjusted using feedback which is provided from process measurements through the state estimation step (e.g., using a Kalman filter). Secondly, the disturbance model 54 provides an error model which is independent of the process model 52, and it is used on-line to predict future model error. As shown in FIG. 3, the process model 52 and the disturbance model 54 are combined to form a total model from which future manipulated parameter values will be generated (at intervals commanded by the executive sequencer 46).

The combined power of the process and disburbance model structures in accordance with the present invention may be seen in FIG. 4. FIG. 4 shows how the model predictive controller 44 may be used to minimize product variability, even in the presence of severe process model errors. In this regard, the process model 52 for the batch reactor 14 was constructed such that it made no allowance for the heat of reaction, which becomes substantial once the polymerization reaction is initiated. Curve 72 illustrates how the batch reactor 12 would respond under a current PID control algorithm. More particularly, curve 72 shows that typical PID control has difficulty attempting to match a ramping reactor temperature set-point. This is because normal feedback PID control does not increase the jacket temperature set-point until the change in ramp rate is encountered (curve 76). Changing the jacket temperature at this point in time is too late, and the reactor temperature deviates from its set-point. In contrast, curve 74 shows that the model predictive controller ("MPC") 44 will provide a reactor temperature which follows the ramping set-point temperature much more closely. This is because the model predictive controller 44 will increase the jacket temperature set-point well before the change in ramp rate occurs (curve 78).

Referring to FIG. 5, an overall block diagram is shown of an advanced process control scheme 80 in accordance with the present invention. The advanced process control scheme 80 provides a comprehensive form of process control which directly uses an explicit model of the process and seeks to optimize some objective function (criteria). FIG. 5 shows that the advanced process control scheme 80 may include the following components:

1. Process 82, which represents the physical system to be controlled. Process inputs include control inputs, natural process disturbances and identification input disturbances. The outputs are the true process state variables which can rarely, if ever, be measured without error.

2. Measurement Devices 84, which represents the mechanical means by which the process outputs are analyzed. The inputs are the true process states and measurement error, producing the output measurements.

3. State Estimator 86, which provides estimates of the process state variables in the presence of measurement error and process disturbances.

4. Process Set Points 88, which specify the current, and sometimes future, controlled variable values that are to be achieved or maintained by adjusting the manipulated variable values.

5. Controller 90, which determines the optimal values of current and future manipulated variable values based on the dynamic model of the process and estimates of process disturbances. The manipulated variable values are determined such that some objective function is satisfied in an optimal manner (maximized or minimized) subject to physical and design constraints. If future manipulated variable values are considered, a Disturbance Predictor is needed to provide reasonable estimates of the evolution of process disturbances into the future (due primarily to plant-model mismatch).

6. Process Identification 92, which determines optimal model parameters for the process model using the process output values.

7. Dynamic Process Model, which predicts the response of the system to past and future control actions. This model must, at a minimum, be representative of the physical system, and optimally, be appropriate, rigorous, and accurate. Although not specifically shown in this particular figure, it should be understood that the dynamic process model is represented by the combination of the process model 52 and the disturbance model 54 in accordance with the present invention. Accordingly, it should be appreciated that the dynamic process model is used by many of the process control scheme components otherwise shown in FIG. 5.

THE DYNAMIC PROCESS MODEL

The process model 52 is represented as a system of nonlinear algebraic/differential equations (ADEs). These models have the general form

    ______________________________________                                         dx/dt = f(x,u(t-t.sub.d1),p,l,t)                                                               dynamic model equations                                        g(x,u,p) = 0    algebraic model equations                                      y = h(x(t-t.sub.d2),u,p)                                                                       model state-output relationships                               x(t.sub.k) = x.sub.k                                                                           model initial conditions                                       ______________________________________                                    

where:

x is the vector of state variables

u is the vector of control inputs (manipulated variables)

y is the vector of outputs (model responses)

p is the vector of model parameters

l is the vector of load disturbances

The nonlinear functions f, g, and h may have a variety of forms, usually derived from physical relationships (momentum, energy, and material balances). This formulation may also be used for distributed parameter systems that are discretized to form a system of ADEs or ODEs (ordinary differential equations).

The development of mechanistic-based models generally involves an iterative process in which experimental data are collected, a model is proposed, optimal model parameters are estimated, and the goodness of fit of the model examined. In most applications, only an approximate representation of the process is achieved, resulting in mismatch between the model and the plant (i.e., the physical process sought to be controlled). However, this mismatch can be significantly reduced and/or identified if appropriate model development procedures are followed. In this regard, the SimuSolv Reference Guide, Volumes I & II (1990), by Steiner et. al., provides a detailed description of an appropriate model building process and the scientific method. This reference guide, which accompanies the commercially available "SimuSolv" (a trademark of the Dow Chemical Company) modeling and simulation software, is hereby incorporated by reference.

NONLINEAR MODEL PREDICTIVE CONTROL FORMULATION

Nonlinear model predictive control (NMPC) may be characterized as an advanced process control technique in which a "nonlinear" dynamic model is used to predict future process behavior. The dynamic model is used for computing the process responses over a prediction horizon, which is based on the values of the manipulated variables and the current controlled variable values. The values of the manipulated variables are optimized at discrete points throughout a control horizon to minimize the error between the desired set point profile and the predicted outputs. As shown in FIG. 6, the prediction horizon is preferably longer in time than the control horizon. The optimal manipulated variable values for the first sampling period in the prediction horizon are used as the first control move. The prediction horizon is then shifted forward one sampling period and the procedure repeated.

A general mathematical formulation for NMPC may be provided by the following: ##EQU1##

    s.t. dx/dt=f(x,u(t-t.sub.d1),p, l, t)                      (A)

    g(x,u,p)=0                                                 (B)

    y=h (x(t-t.sub.d2), u, p)                                  (C)

    x (t.sub.k)=x.sub.k                                        (D)

    x.sub.min ≦x(t.sub.i)≦x.sub.max t.sub.i =t.sub.k to t.sub.k+NSy-max                                           (E)

    y.sub.min ≦y(t.sub.i)≦y.sub.max t.sub.i =t.sub.k to t.sub.k+NSy-max                                           (F)

    u.sub.min ≦u(t.sub.i)≦u.sub.max t.sub.i =t.sub.k to t.sub.k+NSu-max                                           (G)

    |u(t.sub.i)-u(t.sub.i-1)|≦Δ u.sub.max t.sub.i =t.sub.k to t.sub.k+NSu-max                       (H)

    u(i,t.sub.j)=u(i, t.sub.k+NSu (i)) t.sub.j ≧t.sub.k+NSu (i), i=1, . . . , N                                                   (I)

    t.sub.0 ≦t.sub.k <t.sub.k+NSy-max                   (J)

NOMENCLATURE

    ______________________________________                                         f       n-vector of nonlinear dynamic state functions                          g       n.sub.i -vector of algebraic equality constraints                      h       m-vector of measurement (state-output) equations                       k       current time step                                                      l       1-vector of load disturbances (measured and unmeasured)                m       number of measured model response variables                            n       number of model state variables                                        N       number of manipulated variables                                        NS.sub.u                                                                               N-vector of manipulated variable horizon lengths                       NS.sub.u-max                                                                               max( NS.sub.u (i) ), i = 1, . . . , N                              NS.sub.y                                                                               m-vector of controller controlled variable horizon                     lengths                                                                        NS.sub.y-max                                                                               max( NS.sub.y (i) ), i = 1, . . . , m                              p       p-vector of model parameters                                           t       independent variable, time                                             t.sub.d1                                                                               dead time between manipulated and state variables                      t.sub.d2                                                                               dead time between states and measured variables                        u       NxNS.sub.u-max matrix of current and future control variables          U.sub.max                                                                              N-vector of manipulated variable upper bounds                          U.sub.min                                                                              N-vector of manipulated variable lower bounds                          Δu.sub.max                                                                       N-vector of manipulated variable maximum change rates                  W.sub.u NxNS.sub.u-max matrix of objective function weighting factors                  for controller movements                                               W.sub.y mxNS.sub.y-max matrix of objective function weighting factors                  for output residuals                                                   x       n-vector of state variables                                            X.sub.max                                                                              n-vector of state variable upper bounds                                X.sub.min                                                                              n-vector of state variable lower bounds                                y       m-vector of model response variables                                   y.sub.max                                                                              m-vector of model response variable upper bounds                       y.sub.min                                                                              m-vector of model response variable lower bounds                       y.sub.pred                                                                             mxNS.sub.y-max matrix of predicted model responses                     y.sub.sp                                                                               mxNS.sub.y-max matrix of model response set points                     φ   objective function                                                     ______________________________________                                    

The least squares type objective function, Φ(u), is a weighted summation between the desired and predicted process outputs, along with a weighted summation of the changes in the control actions to penalize large control movements. This objective function could be generalized further to include factors such as economics or final condition relationships.

Constraint equations (A)-(D) represent the dynamic process model, defined as a system of nonlinear algebraic/differential equations (ADEs and/or ODEs). Constraint equations (E)-(G) represent physical process constraints, such as acceptable operating limits. Velocity constraints on the control variables are explicitly represented by constraint equation (H). Constraint equation (I) specifies that the values of the control variables beyond the end of their control horizons are constant, and equation (J) requires that time be monotonically increasing.

Several methods are potentially available for solving the nonlinear constrained optimization problem with differential equation equality constraints. The most common class of solution procedure, referred to as sequential methods, solves the control problem as a two-stage procedure. The optimization algorithm iteratively selects new sets of control moves, while a differential equation solver is used to integrate the dynamic model at each iteration. Alteratively, the differential equations could be discretized to a set of algebraic equations using a weighted residual technique. The set of algebraic equations could then be solved at each iteration as in the sequential approach, or added to the optimization problem as a set of equality constraints. This latter approach is described in the article entitled "On the Optimization of Differential-Algebraic Process Systems", AIChE Journal, 33(8), 1989 by Cuthrell and Biegler.

STATE ESTIMATION

State estimation techniques are methods for determining the values of the state variables from only a knowledge of the process inputs and outputs. For open-loop unstable systems, state estimation is vital to keep the model state variables and the process states variables from diverging. Sequential techniques continually update the state variable estimates based on current and past process measurements. A schematic of the state estimation process is shown in FIG. 7. If the process model equations are corrupted by noise due to some combination of unknown disturbances, uncertain initial conditions, measurement error, and model error, the resulting model equations are as follows:

    dx/dt=f (x,u(t-t.sub.d1),p,l,t)+ξ(t)

    y=h(x(t-t.sub.d2),u,p)+η

    x(t.sub.k)=x.sub.k +ξ(tk)

The statistics of the noise processes, ξ(t) and η, are assumed to be known or can be estimated. Standard assumptions for the noise are that ξ(t₀)˜(x₀, P₀), ξ(t)˜(O,Q), and η˜(O,R) are white noise processes uncorrelated with each other. The resulting state estimator equation comprises two parts, one arising directly from the process model, and a second feedback term correcting for discrepancies between the actual measurements and the model predictions:

    dx/dt=f (x, u (t-t.sub.d1), p, l, t)+K (t)  y (t)-h (x(t-t.sub.d2), u, p) !

    x(t.sub.k)=x.sub.k

The magnitude of the feedback correction is controlled by the gain matrix, K(t), which is dependent on the error statistics of the model and measurements. The most widely implemented state estimation technique for nonlinear systems is the Extended Kalman Filter. For a continuous system with discrete measurements, the error covariance and the Kalman gains are computed, in real time, as data becomes available, by integration of the time dependent error covariance equations and model equations (see the nomenclature below):

    dx/dt=f (x, u (t-t.sub.d1), p,l,t)

    dP/dt=A (x,u(t-t.sub.d1),p,l,t)P+P A.sup.T (x,u(t-t.sub.d1),p,l,t)+Q

    x(t.sub.0)=x.sub.k P(t.sub.0)=P.sub.0

where ##EQU2## As data become available at time t_(k), the Kalman gains, the error covariance matrix, and the state variable estimates are updated:

    K.sub.k =P.sup.- (t.sub.k)H.sup.T (x.sub.k.sup.-) H(x.sub.k.sup.-)P.sup.- (t.sub.k)H.sup.T (x.sub.k.sup.-)+R!.sup.-1

    P(t.sub.k)= I-K.sub.k H(x.sub.k.sup.-)!P.sup.- (t.sub.k)

    x.sub.k +x.sub.k.sup.- +K.sub.k  y.sub.k -h(x.sub.k.sup.-. u.sub.k, p)!

where ##EQU3##

    P.sup.- (t.sub.k), x.sub.k.sup.-  are the estimates of P(t.sub.k) and x.sub.k, respectively, before measurement updating at time t.sub.k

If the trajectory of the states is known a priori, the error covariance and Kalman gains can be computed off-line before the measurements are taken. This estimation technique, referred to as the Fixed Kalman Filter, simplifies the state estimation to updating the states using a constant Kalman gain matrix.

    ______________________________________                                         NOMENCLATURE                                                                   f     n-vector of nonlinear dynamic state functions                            h     m-vector of measurement (state-output) equations                         k     current time step                                                        K(t)  nxm gain matrix                                                          l     1-vector of load disturbances (measured and                              unmeasured)                                                                    m     number of measured model response variables                              n     number of model state variables                                          N     number of manipulated variables                                          P     mxn error covariance matrix                                              p     p-vector of model parameters                                             t     independent variable, time                                               t.sub.d1                                                                             dead time between manipulated and state variables                        t.sub.d2                                                                             dead time between states and measured variables                          u     NxNS.sub.u-max matrix of current and future manipulated                  variables                                                                      x     n-vector of state variables                                              x     n-vector of state variable estimates (corrected by                       state estimator)                                                               y     m- vector of predicted model responses                                   ζ(t)                                                                            n-vector of model errors                                                 η(t)                                                                             n-vector of output (model response) errors                               ______________________________________                                    

DISTURBANCE PREDICTION

Plant-model mismatch can be caused by a variety of factors, including:

1. Uncertain model parameters

2. Unknown state variables

3. Uncertain initial conditions

4. Unmeasured disturbances

5. Structural errors in the process model

6. Measurement noise

To correct for plant-model mismatch, the process model must be modified or enhanced to account for the unknown disturbances and model errors. To account for model error and disturbances that have affected the process, one approach is to incorporate an estimate of the future disturbances into the controller formulation. A simple approach would be to augment the process model with an additive disturbance model over the prediction horizon:

    d (t.sub.k)=y (t.sub.k)-y.sub.m (t.sub.k)

    y.sub.pred (t.sub.k+i)=y.sub.m (t.sub.k+i)+d(t.sub.k+i), for i=1, . . . , NS.sub.y-max

where:

d(t) is the model prediction error

y_(m) (t) is the measured plant response

y(t) is the model predicted response

In order to predict d(t_(k+i)), a model of the disturbance process must be developed. The simplest approach is to assume that the future additive disturbances are equal to the current additive disturbance:

    y.sub.pred (t.sub.k+i)=y.sub.m (t.sub.k+i)+d(t.sub.k), for i=1, . . . , NS.sub.y-max

However, experience has shown that the constant disturbance predictor model is not adequate for some industrial applications, resulting in a constant offset from the desired set point. Thus, in accordance with the present invention, a variable estimate of the future disturbances is provided using a window of past disturbances to predict future disturbances. The trajectory of the past and current disturbances are used to update as evolving disturbance model. The disturbance model is a step response model for projecting d(t):

    d(t.sub.k+i,j)=φij u(t.sub.k,j), for i=1, . . . , NS.sub.y-max j=1, . . . , m

where:

φij is the step response coefficient for d(t_(k+i) j,)

    u(t.sub.k, j) is the magnitude of the step input occurring at time t.sub.k

Normalizing this model with respect to the first output disturbance d(t_(k+i),j) results in the following:

    d (t.sub.k+i, j)=βij u'(t.sub.k, j), for i=1, . . . , NS.sub.y-max, j=1, . . . , m

where:

u(t_(k),j)=φlj u (t_(k),j)

βij=φij/φij

In order to use this variable disturbance model (e.g., disturbance model 54), the step response coefficients and inputs are estimated using the following four-step procedure:

1. Construct the set of past disturbance observations, d(t_(k) -NS_(y-max), j) to d(t_(k), j)

2. Update the normalized step response coefficients, βij, using the past disturbance observations.

3. Estimate the normalized step input u (t_(k),j) using the past disturbance observations.

4. Project the disturbances over the prediction horizon.

In step one, the prior disturbance observations are calculated as the difference of the past process measurements and the output of the model integrated through time without the compensation of the state estimator:

    d(t.sub.k -NS.sub.y-max+i, j)=y.sub.m (t.sub.k -NS.sub.y-max+i, j)-y.sub.m (t.sub.k -NS.sub.y-max+i,j)

where: ##EQU4## This approach is motivated by the concept that the future disturbances in the prediction horizon are produced only by model errors that are not corrected by the state estimator.

In step two, a linear model is used to relate the prior disturbance observations:

    d'.sub.m (t.sub.k -NS.sub.y-max+i, j)=βij d'.sub.m (t.sub.k -NS.sub.y-max+1 l, j), for i=1, . . . , NS.sub.y-max

    j=1, . . . , m

Assuming that the coefficients, βij, vary slowly with time and that noise is present in the process measurements, exponentially weighted least squares can be used to estimate the coefficients, βij, using the following relationships:

    βij(n+1)=Bij(n)+K.sub.j (n+1) d(t.sub.k -NS.sub.y-max +i, j)-βij (n) d'.sub.m (t.sub.k -NS.sub.y-max +i,j)!

where: ##EQU5##

In step three, the magnitude of the step response, u'(t_(k) j), is estimated. Since the best available estimate of the error produced by integrating the model over a future sample period is the most recently measured error, the following approximation is used:

    u'(t.sub.k,j)=d(t.sub.k,j) for j=1, . . . , m

In step four, the future disturbances are estimated using the step response model, utilizing the step coefficients, βij, and step responses, u'(t_(k),j) calculated using the previously described expressions. It should be noted that this method is generally only applicable when the controlled variables can be measured directly. However, other methods may also be employed, such as the autoregressive integrating moving average ("ARIMA") method. It is also important to understand that the step response variable disturbance model is independent of the process model. In other words, while the process model will necessary be specific to the physical process being controlled, the disturbance model may be generically applied to a variety of process control applications.

An alternative approach to the additive disturbance model is to extend the Kalman filter, used for state estimation, through the prediction horizon, using the following expressions:

    x(t.sub.k+i)=x(t.sub.k+i)+K(t.sub.k+i)  y.sub.m (t.sub.k)-y(t.sub.k) for i=1, . . . , NS.sub.y-max

where: ##EQU6## The implementation of this approach using a Discrete Kalman Filter for state estimation disturbance prediction is described in "Nonlinear QDMC with Stat Estimation--Formulation and Application to an `Industrial Challenge` Semi Batch Process", by Gattu and Zafiriou, American Control Conference, Boston Mass. (1991). This conference paper is hereby incorporated by reference. However, it should be noted that this approach is dependent upon the process model.

    ______________________________________                                         NOMENCLATURE                                                                   ______________________________________                                         d       model prediction error                                                 f       n-vector of nonlinear dynamic state functions                          k       current time step                                                      K(t)    nxm gain matrix                                                        l       1-vector of load disturbances (measured and unmeasured)                m       number of measured model response variables                            n       number of model state variables                                        NS.sub.y                                                                               m-vector of model prediction variable horizon lengths                          (time)                                                                 NS.sub.y-max                                                                           max( NS.sub.y (i) ), i = 1, . . . , m                                  p       p-vector 6f model parameters                                           t       independent variable, time                                             u       NxNS.sub.u-max matrix of current and future control variables          x       n-vector of state variables                                            x       n-vector of state variable estimates (corrected by                             state estimator)                                                       y       m-vector of model response variables                                   y.sub.m m-vector of measured plant response variables                          y.sub.pred                                                                             mxNS.sub.y-max matrix of predicted model responses                     ______________________________________                                    

Referring to FIG. 8, an overall block diagram is shown of one embodiment of a model predictive controller software implemented system 100 in accordance with the present invention. In this regard, the MPC executive block 102 corresponds to the functions performed by the executive sequencer 46 of FIG. 1. Similarly, the SimuSolv block 104 corresponds to the functions performed by the interactive modeler 48, and the MOD block 106 corresponds to the functions performed by the process control computer 32.

As indicated above, the process control computer 32 will retain overall control of the process (e.g., the batch reactor 12) through its application program, as represented by the MOD block 106. However, the application program may also be used to direct the operation of the MPC executive software 102. This direction may be achieved by the process control computer 32 keeping the executive sequencer 46 apprised of the step or process control state that it is in (e.g., loading the reactor vessel 14, initiating the procedure for heating the reactor vessel, and so forth). In this way, the executive sequencer 46 will preferably receive the information it needs to keep generally in step with the process control computer 32. The executive sequencer 46 may also provide the process control computer 32 with similar step information, in order to enable a determination to be made that the executive sequencer is functioning in step with the process control computer. As part of this overall procedure, it is preferred that both the process control computer 32 and the executive sequencer 46 each perform a check on the health of the ability to communicate with each other on a periodic basis (e.g., every 15 seconds).

As shown in FIG. 8, there is a GPI ("Global Process Information") block 108, which is interposed between the MPC executive block 108 and the MOD block 106. The GPI block 108 represents a software implementation for a network based process control application. In this regard, the process control computer 32 may be connected to a plant local area network, which will facilitate overall plant operation control. In such an application, the executive sequencer 46 may utilize a GPI network computer to manage communication with the process control computer 32, as well as provide a relational data base ("MRDB") as a way for the operator and a historical data logger to access data generated by the model predictive controller 44. The use of such an interface will also enable certain operator functions to be performed, such as visually displaying flow sheets (block 110), examining a history of parameter values or plant measurement values (block 112), and performing event-driven data routines (block 114).

Additionally, it should be noted that the GPI block 108 may be used as a communication interface for a plurality of model predictive controllers. For example, in an application where a continuous reactor has three separate temperature zones that need to be controlled, three model predictive controllers may be used to minimize the amount of time required to solve the optimization problem for each of these zones. In such an application, the GPI block 108 may be used to pass temperature zone boundry information to each of the independently functioning SimuSolv blocks 104.

The SimuSolv block 104 represents an extended form of the SimuSolv computer program identified above, which includes the capability of running in a real-time environment. As shown in FIG. 8, the SimuSolv block 104 communicates with the MPC executive block 102 through a software layer of a DECnet link. This approach to communication enhances the modularity of the model predictive controller 44, so as to better enable further enhancements. For example, in the appropriate application, the SimuSolv block 104 could be replaced with other potentially suitable modeling, integration and optimization packages, such as SPEEDUP (a Prosys Technology Limited trademark), to perform Dynamic Matrix Control. In this regard, Dynamic Matrix Control ("DMC") represents a form of model-based control which uses a substantially different model type and optimization mechanism than that discussed above.

As will be discussed more fully in connection with FIG. 10, the SimuSolv block 104 is adapted to read a command script which is stored in script file 116. This command script provides a generic interface to define a specific process control problem to be solved by the model predictive controller 44. FIG. 8 also shows a model file 118 which is used to translate the mathematically defined process model into a language that a computer will be able to understand. In one embodiment herein, the Advanced Continuous Simulation Language "ACSL" (a Mitchell and Gauthier Associates, Inc. trademark) is used to create the model file 118. Accordingly, the SimuSolv block 104 will interpret the ACSL based model, as well as read the script file 116 to register the control problem to be solved.

It should also be noted that in this embodiment, the SimuSolv block 104 provides the numerical engine for the model predictive controller 44. In this regard, the SimuSolv block 104 may be used to perform all numerical calculations. The execution of these numerical functions (e.g., state estimation) will be controlled by the MPC executive 102, which directs the sequence of operations for the model predictive controller 44. As part of this process, the MPC executive 102 collects, validates and transmits input data and calculated results between the SimuSolv block 104 and the GPI block 108. The MPC executive 102 is also used to project controlled parameter values (e.g., set-points) for the SimuSolv block 104 over the prediction horizon.

From the above, it should also be appreciated that the MPC executive 102 coordinates the operation of SimuSolv block 104 with the MOD block 106, so as to enable each of them to proceed under their own set of operation sequences. For example, the MPC executive 102 enables the model predictive controller 44 to employ separate sampling and control intervals. In one form of the present invention, the process control computer 32 could be used to read measured parameter values from the input circuits 30 at predetermined intervals (e.g., once per second). Then, selected ones of these measured parameter values may be collected by the executive sequencer 46 at a different interval rate (e.g., once per minute). This sampling rate should be at least ten times faster than the dominant time constant of the process (e.g, the ability to change the internal temperature of the reactor vessel 14). The selected measured parameter values would then be transfeted to the interactive modeler 48 in order to enable the SimuSolv block 104 to calculate the current state of one or more unmeasured parameter values. Then, another interval rate may be employed to cause the SimuSolv block 104 to generate an optimized set of manipulated parameter values (e.g., once every four minutes). In this regard, it should be appreciated that it may take a relatively longer period of time for the SimuSolv block 104 to determine the optimized set of manipulated parameter values than it will take to determine current process states.

FIG. 8 also shows the provision of a relational data base 118 which is created off-line. The data base 118 is preferably used to relate the identification of data (e.g., data tags) used in the MOD block 106 to the data identifiers used by the GPI block 108 and the data identifiers used by the SimuSolv block 104. In order to provide a truly modular architecture for the model predictive controller 44, each of the above identified components need to be isolated from each other sufficiently so that they may be replaced without unduly affecting other of these components. Accordingly, each of these system components may employ their own particular ways of identifying the same data parameters or variables. Then, for example, when the MPC executive 102 receives measured parameter values from the GPI block 108, it may reference the data base 118 to determine how to identify this data for the SimuSolv block 104. Thus, it should be appreciated that the SimuSolv block 104 need not know how the data was acquired or what names were used by the MOD block 106 to store this data. The data base 118 may also be used for other data as well, such as recipe dependent data (e.g., set-point profiles). In this way, the memory requirements of the MPC executive 102 may be minimized, such that it holds only the information being passed back and forth between the GPI block 108 and the SimuSolv block 104. The data base 118 may be constructed as the result of a query from an SQL file 120. Additionally, it may be helpful in the appropriate application to provide an MPC problem definition block 122, which could be used to assist the off-line preparation of the script file 116, by referencing the data base 118.

Referring to FIG. 9, an block diagram is shown of the sequence of routines and events during real-time process control using the SimuSolv block 104. Each of the modules shown in FIG. 9 are self-contained, with many of these modules supplying interfaces to user-supplied Fortran subroutines. Such user-supplied subroutines may be employed to replace the functionality of the module, thereby providing an easy way for the user to customize the model predictive controller 44 to any specific application, without changing the executive sequencer 46.

The SimuSolv command invocation module 124 refers to the command that is used to initiate the SimuSolv block 104. The SimuSolv invocation command is an operating-system dependent command (e.g., VAX/VMS) that provides the SimuSolv block 104 with various file specifications and user-supplied options. For example, the invocation command will identify the script file 116 and the model file 118, as well as any optional Fortran files which will be used to replace a default SimuSolv routine.

Then, the SimuSolv initialization module 126 will be executed. SimuSolv initiation is required before any processing within the SimuSolv block 104 can be conducted. By default, the Fortran subroutine SSMAIN in the SimuSolv main program will be called to perform this initialization (e.g., security checking, memory allocation and output file creation). However, the user may optionally replace the default SimuSolv main program which determines which and when the other modules of the SimuSolv block 104 should be called.

Next, the process control specification module 128 will be executed. The purpose of this subroutine is to read and analyze the command script file 116. As will be discussed more fully below, the command script file 116 is based upon a general purpose script, which supports a wide variety of problem formulations, ranging from SISO applications to MIMO inferential control problems. The process control specification module 128 will return a "0" if the translation and syntax analysis was sucessful. If the process control specification module 128 encounters an error in the form or type of calculations requested, then a specific integer value will be returned to identify the error.

Assuming that the analysis of the command script file 116 was successful, then the get data module 130 will be called. The get data module 130 retrieves current process variable values (e.g., measured parameters) from the plant or from a simulation model of the plant process. The get data module 130 includes a general interface Which enables the user to customize the data retrieval to any system. This capability is illustrated in FIG. 9 by the hashed block 132. Additionally, the pseudocode for this and many of the other SimuSolv modules discussed herein are illustrated below in Appendix A. However, it should be noted that several of the modules discussed in connection with FIG. 9, such as the get data module 130, are particularly useful for control simulation. As will be apparent from the discussion of FIGS. 11A-11M and 12A-12G, the executive sequencer 46 controls and implements functions, such as the function contained in the get data module.

The process control initialization module 134 is thereafter. The process control initialization module 134 sets the initial conditions for the process model and sets up the controller optimization problem. As with many of these modules, a general interface is provided to allow the user to customize the control initialization process.

The store results module 136 puts user-specified variable values into a binary file which can be accessed by the SimuSolv graphics and output utilities. This binary file may subsequently be used for post analysis of the process control results. As will be appreciated by the discussion below, the SimuSolv block 104 will loop back to the store results module 136 at the appropriate intervals. The monitor module 138 provides, by default, a text-based output of the current values for user specified variables.

At this point, the processing flow of the SimuSolv block 104 may potentially be diverted temporarily to a block of adaptive functions 140. One or more of the adaptive functions 140 may be employed in future process control applications in order to fine tune the operation of the model predictive controller 44 either on-line or off-line. For example, the projection of controlled parameter set-points may be optimized to compensate for plant disturbances. In this regard, the process model 52 may be used to predict one or more characteristics of the finished product (e.g., the percentage conversion of monomer). Then, the procedure used for control optimization would then be employed to modify the set-point profile in order to achieve a specific criteria (e.g., a 99% conversion of monomer). Similarly, various parameters used in the model predictive controller 44 could be modified as a result of past performance or current plant disturbances, such as the Kalman filter gains or objective function weights. In this regard, it should be understood that such modifications could be performed on-line without necessarily modifying the command script file 116 or the model file 118. More specifically, a suitable operator station, such as the operator workstation 111 in FIG. 8, may be employed to make these changes during the running of the process. These changes could then be transmitted to the model predictive controller 46 through either the MOD block 106 or the GPI block 108. However, these changes could also be made off-line and stored for use during future process runs. For example, changes in one or more of these parameters with time may be stored even in the MOD block 106 along with other recipe information. Additionally, the process model 52 may be updated on-line in the appropriate application by causing a change in the value of a variable used in the set of equations which define the process model. For example, the MPC executive 102 could issue a command to the SimuSolv block 104 between batches to update the process model 52 as a result of process information received during the last batch run.

A timer module 142 is also provided to pause the SimuSolv system, so that the processing of information is performed at a user-specified rate. The timer module 142 provides the ability to support both real-time and simulated process control applications with the same executive sequencer 46. For example, the timer routine 142 enables the user to specify a processing rate that is faster or slower than real-time for simulation purposes. The termination criteria module 144 determines if control of the process should be stopped and the control loop exited.

Assuming that the control loop is not to be terminated at this point, then the SimuSolv block 104 will determine whether this is the initial point in the model predictive controller process (diamond 146). If the answer is yes, then the state estimation and disturbance prediction steps will be bypassed. Otherwise, the SimuSolv block 104 will proceed to call the get data module 130 again. Once the measured parameter values have been acquired, then the state estimator module 148 will be called. As discussed above, the state estimation procedure approximates the values of the process state variables in the presence of unknown process disturbances, uncertain initial conditions, measurement error and process model error. These state estimation techniques incorporate feedback from the process (e.g., measured parameter values) to keep the model state variable and the actual process state variable values from diverging.

Then, a decision may be made as to whether the estimate of future process disturbances should be updated (diamond 150). Assuming that this step is not to be bypassed, then the disturbance predictor module 152 will be called. As discussed above, a variable disturbance prediction procedure is employed over the entire prediction horizon. The process model response variable values may then be augmented with these estimated disturbance during the procedure for determining an optimal set of manipulated parameter values, in order to achieve offset-free tracking of the preferred set-point profile.

Diamond 154 indicates that the control loop may be directed back to the store results module 136 when it is not time to decide any potentially new control actions. However, assuming that the executive sequencer 46 has issued a command for the SimuSolv block 104 to perform control optimization, then the load disturbance module 156 will be called. The load disturbance module 156 is used to update future known process disturbances and event time values.

Then, the set-point profile module 158 will be called to specify the values of selected controlled variables over future prediction horizons. The set-point profiles may be pre-specified in the control script 116, or provided incrementally by the user using a general interface. Additionally, as discussed above in connection the adaptive functions block 140, these set-point profiles may be optimized on-line.

With all of the necessary control information now known or estimated, the controller module 160 will be called. The controller module 160 determines the optimal values of the current, and sometimes future, manipulated parameter values. While a nonlinear model predictive control ("NMPC") strategy is employed in the embodiment discussed herein, a general interface is nevertheless employed to allow user-specified controller techniques to be supplied.

Finally, the send data module 162 will be called in order to transfer at least the current controlled variable values to the plant or to a simulation model. At this point, the SimuSolv block 104 will return to the store results module 136 in order to continue the control loop for the next cycle.

Referring to FIG. 10, a flow chart of the process control specifications module 128 is shown. As an initial step (block 164), the command script file 116 is identified (the name of which has been supplied as input), located, and opened. This script file contains a series of commands that defines a specific control application. In the event that this step encounters an error (diamond 166), then this subroutine will exit with an error code that will assist in identifying the error.

Next, the script file 116 will be scanned one line (referred to as an input stream) at a time, as shown by block 168. This action, called parsing, works by calling a low-level input scanner. The low-level input scanner, called a lexical analyzer, picks up items from the input stream. The selected items are known as tokens. Tokens are compared to the input construct rules, called grammar rules for the SimuSolv block 104. If a violation of one of the grammar rules is identified, scanning is halted and the subroutine is exited with an error code indicating the nature of the violation (diamond 170).

In the next step (block 172), the input stream, which is grammatically correct, is further checked to make sure it makes sense from a model predictive control standpoint. That is, as the script is read, problem definition information obtained from previously input lines is used to make sure that the information currently being input is consistent and complete. For example, if the name of a model variable has been defined previously as a state variable, it can not be also defined as a measured disturbance variable. If an incorrect, inconsistent or incomplete input is identified, processing is halted and the subroutine is exited with an error code indicating the violation (diamond 174).

Then, the input stream information, which is grammatically correct and consistent from a model predictive control standpoint, is appended to the end of the SimuSolv User Dictionary (block 176). New variables are created to describe and store the input stream information. Storing this information as part of the SimuSolv User Dictionary provides the user with direct access to all the process control information. In particular, the user has read and write access to the variable values and read access to the variable names. Then, a check is made to determine if the current input stream information was the last line in the script file (diamond 178). If this was not the last line, the subroutine will jump to block 168 in order to read the next line.

Assuming that all of the script file lines have been read, then optional input streams which were not received are given their default values (block 180). If the last command before the `END` statement in the process control script file is `APC START` (diamond 182), the main SimuSolv program is called to immediately begin controlling the process (block 184). This option is generally intended for process control simulations, rather than actual real-time control. If the `APC START` command is not entered, the subroutine is exited and the error code is set to zero (successful return).

The general format of the process control command script is shown below in Table I. While this type of command script is preferred, it should be understood that other types of suitable model predictive controller commands could be employed in the appropriate application. After the command script of Table I is described, then a specific example of a command script will be set forth using the batch reactor 12 of FIG. 1.

                                      TABLE I                                      __________________________________________________________________________     PROCESS CONTROL                                                                 ##STR1##                                                                        MEASURED PROCESS VARIABLES                                                       Names v {v} . . .                                                               Sample Intervals rc  rc! . . .!                                             End                                                                            MEASURED DISTURBANCE VARIABLES                                                   Names v {v} . . .                                                               Sample Intervals rc  rc! . . .!                                             End                                                                            MANIPULATED VARIABLES                                                            Names v {v} . . .                                                               Sample Intervals rc rc! . . .!                                             ##STR2##                                                                           Dead Times rc rc! . . .!                                                    End                                                                            CONTROLLED VARIABLES                                                             Names v  v! . . .                                                            End                                                                            PLANT DATA                                                                    ##STR3##                                                                       ##STR4##                                                                          Tags v = plant.sub.-- v  v = plant.sub.-- v! . . .                             Set Point Tags v = plant.sub.-- v  v = plant.sub.-- v! . . .                    Sample Interval = rc!                                                      ##STR5##                                                                        End                                                                            CONTROLLER                                                                    ##STR6##                                                                           Period = ic!                                                                  Prediction Horixons v = rc  v = rc!                                            Prediction Intervals v = rc  v = rc!                                           Control Horizons v = rc  v = rc!                                               Control Intervals v = rc  v = rc!                                              Objective Weights v = rc  rc! . . .  v = rc  rc! . . .!                         Control Change Rates v = rc  rc! . . .  v = rc  rc! . .!                       Lower Bounds v = rc  v = rc! !                                                Upper Bounds v = rc  v = rc!                                                    Equality Bounds v = rc  v = rc!!                                           ##STR7##                                                                       ##STR8##                                                                        End                                                                            SET POINT PROFILES                                                            ##STR9##                                                                       ##STR10##                                                                      ##STR11##                                                                         Profiles v = rc  rc! . . .  v = rc  rc! . . .! . . .                         End                                                                           ##STR12##                                                                      ##STR13##                                                                      ##STR14##                                                                      ##STR15##                                                                       TERMINATION CRITERIA                                                          ##STR16##                                                                         Equal v = rc  v = rc! . . .                                                    Lower v = rc  v = rc! . . .                                                    Upper v = rc  v = rc! . . .                                                  END                                                                           ##STR17##                                                                         `The following commands can be input in any order, and from                    outside the command script.`                                                ##STR18##                                                                      ##STR19##                                                                            APC Start!                                                                End                                                                                Where:                                                                    ##STR20##                                                                     __________________________________________________________________________

From the above table, it should be apparent that each instructional command or sub-command is paired with an END statement. The instructional command "PROCESs Control" is used to delimit the specification and invocation of a process control application. "State Variables" is an optional process control sub-command to identify the state variables, along with their initial condition names and values. In most cases, the state variables and their initial conditions are explicitly defined in the model file 118. However, there are two types of model formulations which would need this optional definition, namely when algebraic expressions are used to define a state variable rather than a differential expression, and when the system is defined by a set of time-dependent algebraic equations.

"Measured Process Variables" is a sub-command which is used to identify the measured process variable names and their associated sample intervals (e.g., the reactor jacket input and output temperatures). "Measured Disturbance Variables" is an optional sub-command which is used to identify measured disturbance variable names and their associated sample intervals. Measured disturbance variables are used to update corresponding variables in the process model 52. In the context of the batch reactor 12, the measured disturbance variables may be comprised of the fluid flow rate through the reactor jacket 20 and the speed of the agitator 18.

"Manipulated Variables" is the sub-command which identifies the manipulated variable names and their associated sample intervals and dead times. Manipulated variables are the variables which are adjusted by the model predictive controller 44 to achieve the desired product output, such as the temperature set-point of the reactor jacket 20. The dead times constant represents the delay that affects the result sought to be achieved by a control move. For example, if the dead time on a manipulated variable is 10 minutes, then the control move (i.e., a set-point change) will not be realized in the process until 10 minutes later. "Controlled Variables" is the sub-command which identifies controlled variable names (e.g., the internal temperature of the reactor vessel 14).

"Plant Data" is the sub-command which is used to identify the source of the plant data, plant data variable names, the plant sample interval, and the speed of the controller(i.e., the rate at which the process calculations are to be controlled). The source of the plant data may be derived from a control simulation model, a user-supplied subroutine, or the real-time (i.e., time-stamped) data received from the executive sequencer 46. "Tags" represents the identity of SimuSolv variable names and the corresponding plant tag names for all measured plant variables, including time.

"Controller" is the sub-command used to specify the options for the optimizing controller in the interactive modeler 48. For example, the nonlinear model predictive control (NMPC) formulation may be selected, or a user-supplied subroutine may be called. "Period" specifies the number of plant data samples between controller calculations. Additionally, it should be noted that the Prediction Horizons and Prediction Intervals may be separately specified for each of the controlled variables. Similarly, the Control Horizons and Control Intervals may be separately specified for each of the manipulated variables. The maximum rates of change may be specified for the manipulated variables.

Furthermore, the upper and lower bounds for the manipulated variables may also be specified. These bounds or limits should be enforced throughout the prediction horizons at the points where step changes are made to manipulated variables (assuming that the manipulated variables remain constant between step changes). These limits may be the same or different from the upper and/or lower limits separately employed by the executive sequencer 46 and the process control computer 32 to determine whether the manipulated parameter values are reasonable or valid. While the interactive modeler 48 will transmit an error message to the executive sequencer 46 when one of its upper or lower bounds have been exceeded, the executive sequencer 46 may be used to independently evaluate whether these or other bounds were exceeded. Similarly, the process control computer 32 will also preferably compare the values of the manipulated parameters that are received from the executive sequencer 46 to independently determine whether these values are reasonable.

It should also be noted that the "Controller" sub-command enables an alternative selection of the optimizer method to be employed. While the generalized reduced gradient ("GRG") method may be used as a default, the Nelder-Mead direct search ("SEARCH") method or a user-supplied method may also be selected.

"Set Point Profiles" is the sub-command used to specify the set-point profile for each controlled variable. Again, a choice is available as to the source of the set-point profile. If a set-point is needed between defined time profile points, linear interpolation may be used to calculate the set-point value.

"State Estimator" is the sub-command used to specify the type of state estimation calculation. When the extended Kalman filter is selected, then the initial values for the state covariance matrix may also be specified. Additionally, the upper and/or lower bounds of the state variable values may also be specified. If the value outside these bounds is calculated by the state estimator, then the state variable value will be set to the upper or lower limit which was exceeded.

"Disturbance Predictor" is the sub-command used to identify the type of disturbance predictor for controller prediciton methods. The selection of "Constant" causes a constant value to be used throughout the prediction horizon, and the selection of "Kalman Filter" causes the Kalman filter to be extended throughout the prediction horizon. However, when "Variable" is selected, a variable estimated of future disturbances is calculated using a window of past disturbances, as discussed above. When a variable disturbance model has been selected in accordance with the present invention, the "Variable Lambda" sub-command may also be utilized to specify a forgetting factor (0 to 1.0) for each SimuSolv prediction variable that is measured.

"Load Disturbances" is the optional sub-command used to specify future load disturbances. In this regard, the source of the disturbance values may be specified, as well as the time that the disturbance values should be modified. These disturbance values are incorporated into the process model, at the appropriate times, during process control calculations.

"Simulator" is the sub-command that is used to specify a particular simulation model. Such a simulation model of the plant process may be used to help develop or fine tune the model predictive controller 44 off-line. In this regard, it should be noted that "Response Noise" may be specified to incorporate random noise into the measured parameter values.

"Termination Criteria" is the sub-command used to identify the conditions at which the control of the process through the model predictive controller 44 should stop. For example, the time of reaction and/or the percentage conversion of monomer could be evaluated at discrete intervals for this purpose. The "Results" sub-command specifies the variables to be output during process control and the file names used to store the process control specifications and intermediated results. "APC Debug" is an optional sub-command for specifying verbose output during process control. In this regard, verbose output may be reported to the system operator before and after each of the modules in the SimuSolv block 104. Conversely, the "APC Nodebug" sub-command may be used to suppress verbose output.

In Table II below, an example of a command script is shown for the batch reactor 12 of FIG. 1. This command script includes state estimation, variable disturbance prediction, and measurement noise as well. Even in the case where the process model does not account for a heat of reaction term, this command script will enable the model predictive controller 44 to accurately track a temperature set-point profile for the internal temperature of the reactor vessel 14. This is because feedback information is provided through the state estimator and the variable disturbance predictor to enable the model predictive controller 44 to adjust for plant-model mismatch. In this regard, it should be again noted that the variable disturbance predictor does not update or modify the process model 52. Rather, an estimate of the future disturbances (i.e., plant-model mismatch) is incorporated into the controller objective function during the optimization of future set-points for the manipulated variable. Accordingly, it should be understood that the variable disturbance predictor is capable of accurately predicting the growth of plant-model mismatch into the future.

The following definitions are provided to further identify selected terms used in the command script of Table II:

State Variables:

TJIN=input temperature of the reactor jacket

TJOUT=output temperature of the reactor jacket

RTEMP=reactor temperature after lag

RINT=internal reactor temperature

CONV=percentage conversion of monomer

CINIT=initiator concentration

Measured Process Variables:

TJIMEA=jacket input temperature from sensor 26

TJOMEA=jacket output temperature from sensor 28

RTMEAS=reactor temperature from sensor 22

Measured Disturbance Variables:

FLOWJ=jacket recirculation rate from sensor 24

Manipulated Variables:

JSETPT=jacket temperature set-point

Controlled Variables:

RTMEAS=predicted reactor temperature

Simulator:

QEST=estimation of the reaction rate

QON=ON/OFF flag used in the process model during calculation of the rate of change for the reactor internal temperature (QRXN)

                                      TABLE II                                     __________________________________________________________________________     PROCESS CONTROL                                                                 .sup.      STATE VARIABLES                                                        .sup.      NAMES = TJIN TJOUT RTEMP RINT CONV CINIT                            .sup.      INITIAL CONDITIONS TJIN0=20.0 TJOUT0=20.0 RTEMP0=20.0                          .sup.      RINT0=20.0 CONV0=0.05 INIT0=0.001223                  .sup.      END                                                                 .sup.      MEASURED PROCESS VARIABLES                                             .sup.      NAMES = TJIMEA  TJOMEA  RTMEAS                                   .sup.      END                                                                 .sup.      MEASURED DISTURBANCE VARIABLES                                         .sup.      NAMES = FLOWJ                                                    .sup.      END                                                                 .sup.      MANIPULATED VARIABLES                                                  .sup.      NAMES = JSETPT                                                   .sup.      END                                                                 .sup.      CONTROLLED VARIABLE                                                    .sup.      NAME  = RTMEAS                                                   .sup.      END                                                                 .sup.      PLANT DATA                                                             .sup.      SPEED   = SIMULATION                                                .sup.      SOURCE = SIMULATION                                                 .sup.      TAGS     TIME = TAG001  TJIMEA = TAG002                                  .sup.      TJOMEA = TAG003  RTMEAS = TAG004                                    .sup.      JSETPT = TAG005  FLOWJ = TAG006                                .sup.      SET POINT TAGS  JSETPT = TAG005                                     .sup.      SAMPLE INTERVAL = 1.0                                               .sup.      TIME UNITS     = MINUTES                                         .sup.      END                                                                 .sup.      CONTROLLER                                                             .sup.      TYPE = NMPC                                                         .sup.      PERIOD = 4                                                          .sup.      PREDICTION HORIZONS   RTMEAS = 35.0                                 .sup.      PREDICTION INTERVALS RTMEAS = 5.0                                   .sup.      CONTROL HORIZONS    JSETPT = 30.0                                   .sup.      CONTROL INTERVALS    JSETPT = 6.0                                   .sup.      OBJECTIVE WEIGHTS    RTMEAS = 0.0 3.0  4.0 5.0  6.0 7.0                        .sup.      JSETPT = 0.1 0.1  0.1 0.1  0.1 0.1                       .sup.      LOWER BOUNDS        JSETPT = 15.0                                   .sup.      UPPER BOUNDS       JSETPT = 100.0                                .sup.      END                                                                 .sup.      SET POINT PROFILE                                                      .sup.      TYPE      = SYSTEM                                                  .sup.      TIME TYPE = ABSOLUTE                                                .sup.      TIME PROFILE  RTMEAS =  0.0 72.0 640.0 700.0 950.0                  .sup.      PROFILE      RTMEAS = 31.0 35.0  47.0  63.0  70.0                .sup.      END                                                                 .sup.      STATE ESTIMATOR                                                        .sup.      TYPE = FIXED KALMAN FILTER                                          .sup.      GAIN MATRIX                                                                   TJIMEA                                                                              TJOMEA                                                                              RTMEAS                                                          TJIN 0.999                                                                               0.0  0.0                                                             TJOUT                                                                               0.0  0.999                                                                               0.0                                                             RINT -0.013                                                                              0.0139                                                                              1.8515                                                          RTEMP                                                                               0.0  0.0  0.995                                                           QEST -0.0001                                                                             0.0008                                                                              0.1724                                                          CONV 0.0  0.0  0.0                                                             CINIT                                                                               0.0  0.0  0.0                                                     .sup.      END                                                                 .sup.      DISTURBANCE PREDICTOR                                                  .sup.      TYPE = VARIABLE                                                     .sup.      VARIABLE LAMBDA      RTMEAS = .99                                   .sup.      VARIABLE SCALING FACTORS RTMEAS = 0.0                            .sup.      END                                                                 .sup.      SIMULATOR                                                              .sup.      TYPE = SYSTEM                                                       .sup.      INITIAL CONDITIONS                                                                TIME=0.0                                                                       TJIN=20.0 TJOUT=20.0 RTEMP=20.0                                                RINT=20.0 CONV=0.05 CINIT=0.001223                                             QEST=0.0                                                         .sup.      PARAMETERS                                                                        QON=0.0                                                          .sup.      RESPONSE NOISE                                                                    RTMEAS  = AGAUSS(1.0,0.0)                                                      FLOWJ   = RGAUSS(1.0,0.0)                                                      TJIMEA  = AGAUSS(2.0,0.0)                                                      TJOMEA  = RGAUSS(1.0,0.0)                                     .sup.      END                                                                 .sup.      TERMINATION CRITERIA                                                   .sup.      EQUAL TIME = 950.0                                                  .sup.      UPPER TIME = 950.0                                               .sup.      END                                                                 .sup.      RESULTS                                                                .sup.      MONITOR = SYSTEM                                                    .sup.      PREPARE TIME SSPTV  RTMEAS  JSETPT  SSFSPV  QRXN                 .sup.      END                                                                END                                                                            __________________________________________________________________________

Referring to FIG. 11A-11M, a set of transformation graphs is shown to illustrate the flow of data through the model predictive controller 44. The conventions used for the transformaion graphs are generally as follows. The solid lines represent the flow data, while the dashed lines represent of commands. For example, in FIG. 11A, the solid lines show the flow of data into, out of and through the executive sequencer 46. Similarly, the dashed lines show the flow of commands internally to the executive sequencer. Additionally, the solid circles in the transformation graphs represent processes or operations which are performed on the data, while the dashed circle represents the central controlling process. Furthermore, a set of two equal, parallel lines represents a data file. During the description of the transformation graph shown in FIG. 11A, reference will also be made to a set of state transition diagrams. These state transition diagrams are shown in FIGS. 12A-12G to illustrate the sequencing operations which are implemented by the executive sequencer 46.

Referring first to FIG. 11A, transformation graph 2.0 shows the structure and flow of the executive sequencer 46 during real-time operations. Most of the processes illustration in transformation graph 2.0 will be shown in more detail through one or more of the other transformation graphs or state transition diagrams included in the figures hereto. For example, the central Executive process 2.1 is shown in more detail through the state transition diagrams of FIGS. 12A-12G, while the System Initialization process 2.2 is shown in more detail through the transformation graphs of FIGS. 11B-11C.

The central Executive process 2.1 is responsible for the overall coordination of the real-time operations executed by the model predictive controller 44. In this regard, the Executive process 2.1 is responsible for sequencing the model predictive controller 44 through the process control problem. While the discussion of the executive sequencer 46 below is specifically in reference to a batch reactor control problem, it should be appreciated that the executive sequencer may be readily configured for other suitable proces control problems.

As generally shown in FIG. 11A, the executive sequencer 46 will perform two separate initialization routines. First, the model predictive controller system must be initialized (System Initialization process 2.2), and then a batch-specific initialization will be performed for each batch run (Batch Initialization process 2.3). Then, the executive sequencer 46 will proceed to control the sequencing of the steps discussed above for determining process states and optimizing future set-points. In this regard, FIG. 12A shows the sequence of states that the Executive process 2.1 will go through to direct the overall operation the model predictive controller.

As will be apparent from FIG. 12A, the Initialization routine 2.1.1 will trigger the sequencing required for system initialization. The System Initialization procss 2.2 of FIG. 11A will then perform the appropriate initialization steps. This system initialization includes the steps of reading an MPC Problem Definition file into memory, validating the MPC Problem Definition, calling SSMain to inialize the SimuSolv block 104, building a set of GPI/plant tag lists, and acquiring the variable labels from the SimuSolv dictionary. The state transition diagram of FIG. 12B shows the sequence taken by the System Initialization routine 2.1.1., and FIG. 12C shows the sequence taken to create the GPI/plant tag lists. Addtionally, FIGS. 11B and 11C show the flow of commands and data throughout the the System. Initialization process 2.2.

It should be noted that the MPC Problem Definition file may be stored in the RDB data base 118 shown in FIG. 8. As an example, the MPC Problem Definition file may include such information as long descriptions of the variables, numerical values for tuning specific parameters, and the validation criteria for the real-time data. The process of validating the MPC Problem Definition includes the steps of commanding the SimuSolv block 104 to interpret the script file 116, passing the plant tag names to the GPI block 108 to insure their present existence, and getting the necessary SimuSolv variable names from the SimuSolv dictionary.

As indicated by line 202 of FIG. 12A, error paths are provided at each state of the process so that any problems may be reported to an event data recorder ("EDR"). Assuming that the System Initialization process 2.2 was successful, then the Executive process 2.1 will proceed to the Batch Initialization state 2.1.2. Before the beginning of each batch run, the executive sequencer 46 will query the process control computer 32 for batch related data (e.g., recipe information) using the Batch Initialization process 2.3. In this regard, return line 204 indicates that the batch initialization sequence will be executed again for the next batch reaction.

The Batch Initialization process 2.3 includes the steps of reading the current recipe tag name from the "DY" Dynamic Data file shown in FIG. 11A (also shown as the real-time data base 50 of FIG. 1), reading the recipe information from the MOD block 106 using the GPI block 108, rereading the MPC Problem Definition file for recipe independent data, building a recipe table tag list, putting the new information into the SimuSolv block 104, reinitializing the process model, and recording the start of the batch run. These steps are shown through the state transition diagram of FIG. 12D and the transformation graph of FIG. 11D.

As shown by the Handshake process 2.4 of FIG. 11A, the executive sequencer 46 will periodically initiate a hand shaking sequence with the executive process control computer 32 (e.g., every 15 seconds). In this regard, the following steps are preferably taken each hand shaking period: retrieve the current status of the MOD block 106 from the GPI block 108, test the current status, set an MPC Handshake value equal to the current status just received, and send the MPC Handshake value back to the MOD block 106. If the MOD status is tested and found incorrect, then a request for the current status may be repeated for a predetermined number of times before setting an internal error flag.

Once the Batch Initialization process 2.3 has been completed, then the Executive process 2.1 will proceed to the Calculation state 2.1.3 shown in FIG. 12A. The sequence of steps taken at this point are shown through the state transition diagram of FIG. 12E. In this regard, the Calculation state 2.1.3 will trigger the Calculation process 2.5 shown in FIG. 11A. The flow of commands and data during the Calculation process 2.5 is shown in the transformation graph of FIG. 11E. While not shown in FIGS. 11E and 12E, the executive sequencer 46 will receive process data from the Input process 2.6, which will then be stored in the DY Dynamic Data file. Once this data is available, then the Dynamic Data file will be read, and future set-points calculated for the controlled variables, as indicated by the Set-Point Projection state 2.1.3.1 of FIG. 12E.

In one embodiment according to the present invention, the set-points for the controlled variable are maintained as a list of "corners", that is places in time where the slope of the set-point changes. Looking out to the prediction horizon, the element of time will be divided into fixed prediction intervals, and the set-point at each of those intervals will be calculated by the Set-Point Projection process 2.5.3 of FIG. 11E, based on the set-point corners and the current time value.

Additionally, as shown in FIG. 11E, the executive sequencer 46 will preferably also check for and identify process events. The Check for Events process 2.5.1 is shown in the transformation graph 11F. In this regard, a number of different process events may be checked for, including a check for the end of the batch run, a check for whether an analog outputs "AO" have reached their upper/lower limits, and whether any slave controllers have reached their upper/lower limits. While the process control computer 32 may also conduct such tests, it should be appreciated that insured reliability is increased through such redundancy. Additionally, it should also be appreciated that the model predictive controller 44 may also be employed in applications in which the executive sequencer 46 communicates directly with slave controllers.

Then, as shown by the SimuSolv Put state 2.1.3.2 of FIG. 12E, the projected set-points will be sent to the SimuSolv block 104. The executive sequencer 46 will also check to see if it is time to perform an optimization (process 2.5.2 of FIG. 11E). If it is time to optimize, then the appropriate command will be sent to the SimuSolv block 104 to perform the set-point optimization for the manipulated variables. The executive sequencer 46 will then wait for the results to be returned by the SimuSolv block 104, as indicated by state 2.1.3.3 of FIG. 12E. These results will then generally be sent to the GPI block 108, as indicated by the state 2.1.3.4 of FIG. 12E.

Referring again to FIG. 12A, shows that once the optimization process is complete, the executive sequencer 46 will wait in a timer loop for the MPC Handshake process 2.4 to be repeated. Assuming that the MPC Handshake process was successful and the time is appropriate, then the executive sequencer 46 will proceed to the State Estimation state 2.1.5. The steps executed for this procedure include retreiving current process data, sending this data to the SimuSolv block 104, commanding SimuSolv to perform the process state and bias estimation, retrieving the results, and sending the results to the GPI block 108. These steps are shown through the state transition diagram of FIG. 12F.

Then, as shown by the MPC Check state 2.1.6, the executive sequencer 46 will perform a number of steps to order to determine the next control direction to take. These steps include performing end of batch checking, checking to see that the process control computer 32 is operating properly, and checking to see if it is time to perform set-point optimization. These steps are shown through the state transition diagram of FIG. 12G. In this regard, the lines 204-210 in both FIGS. 12A and 12G show the direction which will be taken as a result of the checks.

Referring again to FIG. 11A, the Input process 2.6 and the Output process 2.7 are shown. The flow of information during the Input process 2.6 is shown in more detail through the transformation graphs of FIGS. 11G-11I. Similarly the flow of information during the Output process 2.7 is shown in more detail through the transformation graph of FIGS. 11J-11M.

FIG. 11G shows that the Input process is comprised of two processes, namely the GPI Get process 2.6.1, and the SimuSolv process 2.6.2. The GPI Get process 2.6.1 is shown in FIG. 11H, while the SimuSolv process 2.6.2 is shown in FIG. 11I. In this regard, the Executive process 2.1 periodically command real-time data from the GPI block 108, and when this data is received, it is stored in the DY Dynamic Data file. Similarly, the Executive process 2.1 will also command that the SimuSolv block return its results to the executive sequencer 46.

FIG. 11J shows that the Output process is comprised of three processes, namely the GPI Put process 2.7.1, the EDR Put process 2.7.2, and the SimuSolv Put process 2.7.3. The GPI Put process 2.7.1 is shown in FIG. 11K, the EDR Put process 2.7.2 is shown in FIG. 11L, and the SimuSolv Put process 2.7.3 is shown in FIG. 11M. In this regard, it should be noted that the EDR Put process 2.7.2 is used to prepare packets of information which are indicative of important process changes and other events, including failures. For example, in the event that the MPC Handshaking process fails, then the EDR Put process 2.7.2 will transmit this information so that the error will be logged and appropriate action taken.

Referring to FIGS. 13A-13B, two examples of the data structures employed in the DY Dynamic Data file are shown. In this regard, the real-time physical data is stored in a number of linked lists, and FIG. 13A shows the basic connections between the data base records and the various linked lists. Each of these linked lists include other links which are used to support various real-time activities. FIG. 13B shows an example of these other links. More specifically, FIG. 13B represents the Process Value List, which contains each value stored by the executive sequencer 46. As illustrated by FIG. 13B, this data structure identifies the data type, the data value, and the maximum and minimum value limits used to test the validity of data retrieved from entities other than the executive sequencer 46. Additionally, if the value is retrieved from other entities, the Process Value List structure will also contain a pointer to the structure which provides addressing information. Similarly, if the value is to be sent to another entity, the structure will also contain a pointer to its destination addressing structure. ##SPC1##

The present invention has been described in an illustrative manner. In this regard, it is evident that those skilled in the art once given the benefit of the foregoing disclosure, may now make modifications to the specific embodiments described herein without departing from the spirit of the present invention. Such modifications are to be considered within the scope of the present invention which is limited solely by the scope and spirit of the appended claims. 

What is claimed is:
 1. In a process control system having input means for receiving signals indicative of measured process parameters, and output means for transmitting command signals which include at least one manipulated parameter value that is used to govern physical process equipment, a model predictive controller, comprising:interactive modeling means for estimating the current state of at least one unmeasured process variable and for determining the value of at least one said manipulated parameter value for said process equipment at selected intervals, said interactive modeling means having both a process model which represents the dynamic behavior of the physical process equipment being controlled and an independent disturbance model which represents current deviations from said process model and future deviations over a predetermined prediction horizon, said process model including at least one nonlinear function which is specifically related to the physical process being controlled; real-time executive means for directing the operation of said interactive modeling means, said real-time executive means having means for periodically transferring said signals indicative of measured process parameters to said interactive modeling means and means for transferring said manipulated parameter value from said interactive modeling means to said output means; and means for testing the validity of said signals which are indicative of measured process parameters, the current estimated state of said unmeasured process variable, and the value of said manipulated parameter value.
 2. The invention according to claim 1, wherein said real-time executive means includes means for projecting a desired set of future manipulated parameter values over said prediction horizon for transmittal to said interactive modeling means.
 3. The invention according to claim 2, wherein said interactive modeling means includes means for solving a set of first order differential equations to derive how the physical process equipment will react to proposed changes to the value of said manipulated parameter value, and means for determining an optimized set of current and future manipulated parameter values.
 4. The invention according to claim 3, wherein said set of future manipulated parameter values includes at least one set-point which enables said process control system to track a predetermined set-point profile.
 5. The invention according to claim 3, wherein said real-time executive means causes said interactive modeling means to determine said optimized set of manipulated parameter values at a first interval rate and said real-time executive means further includes sequencing means for causing said interactive modeling means to estimate the current state of said measured process variable at a second interval rate which is greater than the first interval rate at which said real-time executive means causes said interactive modeling means to determine said optimized set of manipulated parameter values.
 6. The invention according to claim 2, wherein said real-time executive means includes a real-time database of physical data received from said signals indicative of measured process parameters.
 7. The invention according to claim 6, wherein the records stored in said real-time database are stored in the form of a set of linked lists.
 8. The invention according to claim 7, wherein said real-time database includes a list of set-point corners for projecting future set-points, with each of said set-point corners including a floating point value and a step in time where said floating point value applies.
 9. The invention according to claim 1, wherein said disturbance model has variable predictor means for estimating said future deviations as a function of both past and current deviations from said process model.
 10. The invention according to claim 9, wherein said disturbance model is a step response variable disturbance model for predicting future disturbances which is independent of said process model.
 11. In a process control system having input means for receiving signals indicative of measured process parameters, processor means for making process control decisions, and output means for transmitting command signals from said processor means which include at least one manipulated parameter value that is used to govern physical process equipment, a model predictive controller, comprising:interactive modeling means for estimating the current state of at least one unmeasured process variable and for determining the value of at least one manipulated parameter value, said interactive modeling means having both a process model which represents the dynamic behavior of the physical process equipment being controlled and a disturbance model which represents current deviations from said process model and future deviations over a prediction horizon, said disturbance model having variable predictor means for estimating said future deviations as a function of both past and current deviations from said process model; and real-time executive means for coordinating the operations of said interactive modeling means with said processor means and for projecting a set of future controlled parameter values over said prediction horizon in cooperation with said interactive modeling means and said processor means; wherein said real-time executive means includes a time-recorded database of measured data received from said processor means, and data interface means for periodically transmitting said measured data to said interactive modeling means with data identifiers employed by said interactive modeling means, said data identifiers of said interactive modeling means being different than the data identifiers used by said processor means.
 12. The invention according to claim 11, wherein said interactive modeling means includes means for periodically determining an optimized set of current and future manipulated parameter values.
 13. The invention according to claim 12, wherein said real-time executive means causes said interactive modeling means to determine said optimized set of manipulated parameter values at a first interval rate and said real-time executive means includes sequencing means for causing said interactive modeling means to estimate the current state of said unmeasured parameter at a second interval rate which is greater than the first interval rate at which said real-time executive means causes said interactive modeling means to determine said optimized set of manipulated parameter values.
 14. A process control system, comprising:input means for receiving signals indicative of measured process parameters; output means for transmitting command signals which include at least one manipulated parameter value that is used to govern physical process equipment; processor means for making independent process control decisions which determine manipulated parameter values in response to said input signals; interactive modeling means for periodically estimating the current state of at least one unmeasured process variable and for determining the proposed value of at least one manipulated parameter, said interactive modeling means having both a process model which represents the dynamic behavior of the physical process being controlled and a disturbance model which represents current deviations from said process model and future deviations over a prediction horizon; and real-time executive means for coordinating the operation of said interactive modeling means with said processor means and for testing the validity of said signals indicative of measured process parameters, the current state of each said unmeasured process variable, and each said manipulated parameter value proposed by said interactive modeling means; said processor means having means for determining whether to implement at least one manipulated parameter value that has been validated by said executive means.
 15. The invention according to claim 14, wherein said disturbance model has variable predictor means for estimating said future deviations as a function of both past and current deviations from said process model.
 16. The invention according to claim 15, wherein said executive means includes means for projecting a set of future controlled parameter values over said prediction horizon in cooperation with said interactive modeling means and said processor means.
 17. The invention according to claim 16, wherein said interactive modeling means includes means for periodically determining a set of current and future manipulated parameter values which will minimize deviations from said set of desired controlled parameter values.
 18. The invention according to claim 15, wherein said disturbance model is a step response variable disturbance model for predicting future disturbances which is independent of said process model.
 19. A method of controlling a process, comprising the steps of:receiving input signals which represent measured parameter values from a plurality of sensors; periodically transmitting a time-recorded set of said measured parameter values to an interactive modeler which includes a nonlinear process model, which is derived from physical relationships for the process, and an independent disturbance model; estimating the current state of at least one unmeasured process parameter in said interactive modeler from said process model; projecting a set of desired controlled parameter values over a predetermined control horizon; periodically estimating how said process will react to proposed changes to the value of at least one manipulated parameter over said control horizon, and determining a set of current and future manipulated parameter values which will minimize deviations from said set of desired controlled parameter values; testing the validity of said input signals, said current state of each estimated unmeasured process parameter, and each current said manipulated parameter value; and causing a process control device to implement only manipulated parameter values which are determined to be valid.
 20. In a process control system having input means for receiving signals indicative of measured process parameters, and output means for transmitting command signals which include at least one manipulated parameter value that is used to govern physical process equipment, a model predictive controller, comprising:interactive modeling means for estimating the current state of at least one unmeasured process variable and for determining the value of at least one said manipulated parameter value for said process equipment at selected intervals, said interactive modeling means having both a process model which represents the dynamic behavior of the physical process equipment being controlled and an independent, evolving and step-response variable disturbance model which represents current deviations from said process model and future deviations over a predetermined prediction horizon, said process model including at least one nonlinear function which is specifically related to the physical process equipment being controlled, and said disturbance model using a window of past disturbance to predict future disturbances; real-time executive means for directing the operation of said interactive modeling means, said real-time executive means having means for periodically transferring some of said signals indicative of measured process parameters to said interactive modeling means and means for transferring said manipulated parameter value from said interactive modeling means to said output means; and means for testing the validity of said signals which are indicative of measured process parameters, the current estimated state of said unmeasured process variable, and the value of said manipulated parameter value. 